Kesetaraan logika

Dalam logika dan matematika, kesetaraan logika atau ekuivalensi logika^[1] menyatakan bahwa dua proposisi yang berbeda dikatakan ekuivalen jika nilai kebenarannya sama. Kesetaraan logika pada proposisi ${\displaystyle p}$ dan ${\displaystyle q}$ terkadang dinyatakan sebagai ${\displaystyle p\equiv q}$, ${\displaystyle p::q}$, ${\displaystyle p\iff q}$, atau bahkan dalam notasi Polish, ${\displaystyle {\textsf {E}}pq}$. Namun pandangan terkait simbol-simbol tersebut bergantung pada konteks, karena mereka juga dipakai dalam salah satu perangkai logika bikondisional, yaitu jika dan hanya jika.

1. ^ Pagiling, Sadrack Luden (2020-05-01). Logika Elementer. Deepublish. hlm. 18. ISBN 978-623-02-0977-2.  Parameter |url-status= yang tidak diketahui akan diabaikan (bantuan)